universal quantifier and existential quantifier